Équations de Fermat de type (5, 5,p)

Réécriture de programmes C--en équations logiques

RÉSUMÉ. Cet article présente un système pour transformer, de façon automatique, des programmes écrits en C--, un langage impératif simple, en un ensemble d’équations du premier ordre. Cet ensemble d’équations utilisé pour représenter un programme C-a une signification mathématique précise et les techniques standards de mécanisation du raisonnement équationnel peuvent être déployées pour vérifie...

Etude serologique comparée de différentes souches de virus aphteux de type A isolées au Moyen-Orient et en Europe

Modélisation par la méthode des équations intégrales de frontière de phénomènes de conduction surfacique sur les isolateurs pollués

The dielectric withstand capabilities of insulating materials is related to their surface electric field and potential distributions. These distributions, in the presence of polluting layers, are quite different from these encountered in classical electrostatics. This work is concerned with the application of boundary integral equations method to the calculation of electric fields and potential...

Vaccination antirougeoleuse: Etude de l'immunité humorale chez les enfants Vaccinés de la région de Tunis

Parasites du sang de divers animaux de la region de Tehran